Towards the Development of an Automated Learning Assistant for Vector Calculus: Integration Over Planar Regions
نویسندگان
چکیده
(1) Industrial Computing Department, Faculty of Technology and Information Science, Universiti Kebangsaan Malaysia, Malaysia, 43600 UKM Bangi, Selangor, Malaysia. [email protected] (2) Department of Mathematics and Statistics, Center for High Performance Computing, University of New Mexico, Albuquerque NM 87131-1141 USA. (3) Department of Mathematics and Statistics, Cancer Research and Treatment Center, University of New Mexico, Albuquerque NM 87131-1141 USA.
منابع مشابه
Integration of remote sensing and meteorological data to predict flooding time using deep learning algorithm
Accurate flood forecasting is a vital need to reduce its risks. Due to the complicated structure of flood and river flow, it is somehow difficult to solve this problem. Artificial neural networks, such as frequent neural networks, offer good performance in time series data. In recent years, the use of Long Short Term Memory networks hase attracted much attention due to the faults of frequent ne...
متن کاملComputing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
We use the cylindrical algebraic decomposition algorithms implemented in Mathematica to produce procedures to analytically compute integrals over polynomially defined regions and their boundaries in two and three dimensions. Using these results, we can implement the Divergence Theorem in three dimensions or the Green’s theorems in two dimensions. These theorems are of central importance in the ...
متن کاملMathematical Libraries as Proof Assistant Environments
In this paper we analyse the modifications on logical operations — as proof checking, type inference, reduction and convertibility — that are required for the identification of a proof assistant environment with a distributed mathematical library, focusing on proof assistants based on the Curry-Howard isomorphism. This identification is aimed at the integration of Mathematical Knowledge Managem...
متن کاملAutomating Algebraic Methods in Isabelle
We implement a large Isabelle/HOL repository of algebras for application in modelling computing systems. They subsume computational logics such as dynamic and Hoare logics and form a basis for various software development methods. Isabelle has recently been extended by automated theorem provers and SMT solvers. We use these integrated tools for automatically proving several rather intricate ref...
متن کاملAn Application of the Two-Regime Threshold Vector Error Correction Model to Analyze Asymmetric Price Transmission of Milk in Zanjan Province of Iran
In this paper asymmetric price transmission mechanism and nonlinear adjustment between producer and retail prices of milk were examined in Zanjan Province of Iran. For this purpose, a Two-Regime Threshold Vector Error Correction Model (TVECM) and a Sup-LM Test developed by Hansen and Seo (2002) were employed for checking presence of a threshold effect. Application of unit root tests indicated...
متن کامل